(window_scroll_pixel_based, Frecenter): Call
authorGerd Moellmann <gerd@gnu.org>
Tue, 10 Apr 2001 15:39:53 +0000 (15:39 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 10 Apr 2001 15:39:53 +0000 (15:39 +0000)
commit3b2433fdd71a77167d5676812a318c2e88b1fa0c
treebe538c3f99f2b791a9b3420d4badefc72fedb2d5
parent6ca7a3bbe4190944d6ea74e36e748af7bc9a75f4
(window_scroll_pixel_based, Frecenter): Call
window_box_height instead of using it.last_visible_y for the
height of the window.
src/window.c